Перевод: со всех языков на русский

с русского на все языки

extensional logic

См. также в других словарях:

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Extensional context — In philosophy of language, a context in which a sub sentential expression e appears is called extensional if and only if e can be replaced by an expression with the same extension and necessarily preserve truth value. The extension of a term is… …   Wikipedia

  • Extensional — Extension und Intension (auch Begriffsumfang und Begriffsinhalt) bezeichnen in der Logik und Sprachphilosophie verschiedene, nach Meinung mancher Autoren entgegengesetzte Eigenschaften von Begriffen. Inhaltsverzeichnis 1 Extension 2 Intension 3… …   Deutsch Wikipedia

  • Extensional definition — An extensional definition of a concept or term formulates its meaning by specifying its extension, that is, every object that falls under the definition of the concept or term in question.For example, an extensional definition of the term nation… …   Wikipedia

  • extensional — adjective defining a word by listing the class of entities to which the word correctly applies • Similar to: ↑denotative, ↑denotive • Derivationally related forms: ↑extension • Topics: ↑logic …   Useful english dictionary

  • Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… …   Wikipedia

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

  • Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until …   Wikipedia

  • Comprehension (logic) — In logic, the comprehension of an object is the totality of intensions, that is, attributes, characters, marks, properties, or qualities, that the object possesses, or else the totality of intensions that are pertinent to the context of a given… …   Wikipedia

  • Intensional — * in Philosophy of language: not extensional. See also intensional definition versus extensional definition. * in Philosophy of mind: an intensional state is a state which has a propositional content. * in Mathematical logic: see intensional… …   Wikipedia

  • Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»